A Formal Model for an Expressive Fragment of XSLT
نویسندگان
چکیده
The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtensible Style sheet Language Transformations). An informal introduction to XSTL is given, on the bases of which a formal model of a fragment of XSLT is defined. This formal model is in the spirit of tree transducers, and its semantics is defined by rewrite relations. It is shown that the expressive power of the fragment is already beyond that of most other XML query languages. Finally, important properties such as termination and closure under composition are considered.
منابع مشابه
Regulating Access to XML documents
In this paper, our objective is to define a security model for regulating access to XML documents. Our model offers a security policy with a great expressive power. An XML document is represented by a tree. Nodes of this tree are of different type (element, attribute, text, comment...etc). The smallest protection granularity of our model is the node, that is, authorisation rules granting or den...
متن کاملPersian Adaptation of Enhanced Milieu Teaching for Iranian Children With Expressive Language Delay
Objectives: This study aimed at adapting and examining the applicability of the Teach-Model-Coach-Review model of the enhanced milieu teaching (EMT) approach for improving Iranian mothers’ language strategies while interacting with their toddlers with expressive language delay. Methods: In a single-subject multiple-baseline across-behavior study, the mothers of 3 toddlers with expressive langu...
متن کاملTemporal Concurrent Constraint Programming: Applications and Behavior
The ntcc calculus is a model of non-deterministic temporal concurrent constraint programming. In this paper we study behavioral notions for this calculus. In the underlying computational model, concurrent constraint processes are executed in discrete time intervals. The behavioral notions studied reflect the reactive interactions between concurrent constraint processes and their environment, as...
متن کاملA Prototype for Translating XSLT into XQuery
XSLT and XQuery are the languages developed by the W3C for transforming and querying XML data. XSLT and XQuery have the same expressive power and can be indeed translated into each other. In this paper, we show how to translate XSLT stylesheets into equivalent XQuery expressions. We especially investigate how to simulate the match test of XSLT templates by two different approaches which use rev...
متن کاملDiagnostic Accuracy of the Photographic Expressive Persian Grammar Test to Identify 4-6 Years Old Children With Developmental Language Disorder
Objectives: Accurate diagnosis of Persian children with Developmental Language Disorder (DLD) is regarded as a challenge for Speech and Language Pathologists (SLPs) in Iran because of the lack of formal linguistic tests that can reliably distinguish language-impaired children from Typically-Developing (TD) children. This study aimed to investigate the diagnostic accuracy of the photographic exp...
متن کامل